201. Handbook of Boolean algebras
پدیدآورنده : edited by J. Donald Monk, with the cooperation of Robert Bonnet
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Handbooks, manuals, etc ، Algebra, Boolean
رده :
QA
10
.
3
.
H36
1989
202. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
203. Handbook of finite fields /
پدیدآورنده : Gary L. Mullen, Daniel Panario
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Finite fields (Algebra)
رده :
QA247
.
3
.
M854
2013
204. Handbook of satisfiability /
پدیدآورنده : edited by Armin Biere ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra, Boolean, Congresses,Computer algorithms, Congresses,Decision making, Congresses,Propositional calculus, Congresses
205. Hausdorff Gaps and Limits
پدیدآورنده : \ Ryszard Frankiewicz, Pawel Zbierski.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Stone-Čech compactification.,Algebra, Boolean.
رده :
QA
611
.
23
.
F7H32
1994
E-Book
,
206. Hausdorff gaps and limits
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : ??ech compactification. ; Algebra, Boolean. ; -Stone
207. Hausdorff gaps and limits
پدیدآورنده : / Ryszard Frankiewicz, Pawe� Zbierski
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Stone-eCech compactification.,Algebra, Boolean.
رده :
QA
,
611
.
23
,.
F73
,
1994
208. Hausdorff gaps and limits
پدیدآورنده : Frankiewicz, Ryszard.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Stone-Cech compactification,، Algebra, Boolean
رده :
QA
611
.
23
.
F73
1994
209. High quality test pattern generation and boolean satisfiability
پدیدآورنده : / Stephan EggersgleuC, Rolf Drechsler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits--Testing,Algebra, Boolean
رده :
TK7874
.
E34
2012
210. Human reliability and error in medical system /
پدیدآورنده : B.S. Dhillon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Biomedical engineering.,Human engineering.,Reliability (Engineering),Medical Errors-- prevention & control.,Reproducibility of Results.,Biomedical engineering.,Human engineering.,MEDICAL-- Allied Health Services-- Medical Technology.,MEDICAL-- Biotechnology.,MEDICAL-- Family & General Practice.,MEDICAL-- Lasers in Medicine.,Reliability (Engineering),TECHNOLOGY & ENGINEERING-- Biomedical.
رده :
R855
.
3
.
D467
2003eb
211. Incline algebra and applications
پدیدآورنده : / Z.-Q. Cao, K.H. Kim, F.W. Roush
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra, Boolean,Algebras, Linear
رده :
QA10
.
3
.
C35
1984
212. Incline algebra and applications
پدیدآورنده : / Z.-Q. Cao, K.H. Kim, F.W. Roush
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra, Boolean,Algebras, Linear
رده :
QA10
.
3
.
C35
1984
213. Information algebras :
پدیدآورنده : Jürg Kohlas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Computer science -- Mathematics.,Information theory -- Mathematics.
رده :
QA76
.
9
.
M35
J874
2003
214. Introduction a l'algebra de boole et aux dispositifs logiques
پدیدآورنده : Hoernes, Gerhard E
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic calculating machines-- Design and construction,، Algebra, Boolean
رده :
QA
76
.
H6
215. Introduction to Boolean algebra and logic design;a program for self- instruction
پدیدآورنده : [by]& Gerhard E. Hoernes [and]& Melvin F. Heilweil
موضوع : Computer engineering--Programmed instruction,Logic design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
216. Introduction to boolean algebra & logic design:a program for self
پدیدآورنده : HOERNES,GERHARD E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC CALCULATING-MACHINES-DESIGN & , ALGEBRA,BOOLEAN
رده :
QA
76
.
H57
217. Introduction to boolean algebras
پدیدآورنده : Givant, Steven Roger, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebra, Boolean
رده :
QA
10
.
3
.
G58I5
218. Introduction to boolean algebras
پدیدآورنده : Givant, Steven., Steven Givant
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Algebra, Boolean
رده :
QA
3
.
G5
219. Introduction to boolean algebras
پدیدآورنده : / Steven Givant, Paul Halmos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra, Boolean,Booleaanse algebra., gtt,Boolesche Algebra., swd
رده :
E-BOOK
220. Introduction to digital electronics /
پدیدآورنده : John Crowe and Barrie Hayes-Gill.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Digital electronics.,Digital electronics.,Digitale technieken.,Elektronische schakelingen.
رده :
TK7868
.
D5
C72
1998eb
